#include<stdio.h>

int main()
{
    int k;
    scanf("%d", &k);
    long long s = 0;
    int c, q;
    c = q = 1;
    for(int i = 1; i <= k; i ++)
    {
        s += c;
        q --;
        if(q == 0)
        {
            c ++;
            q = c;
        }
    }
    printf("%d\n", s);
    
    return 0;
}
/*
1
2 2
3 3 3
4 4 4 4
5 5 5 5 5
*/